Set is Subset of Pre-Image of Image

Set is Subset of Pre-Image of Image

For f:XY and AX

Af1(f(A))

and in particular

A=f1(f(A))AXf is injective